2. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبانهای صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
3. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
4. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
5. Principles and Practice of Constraint Programming
پدیدآورنده : \ Gilles Pesant (ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
6. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
پدیدآورنده : علی اکبر پیمان
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
7. المنطق الصوری و ریاضی
پدیدآورنده : ت╩لیف عبدالرحمن بدوی
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : منطق صوری - ریاضی
رده :
BC
،۱۳۵،
/
ب
۴
م
۸،۱۳۶۸
8. با‌ز اندیشی فلسفه کانت
پدیدآورنده : ادیا‌نی، یونس
کتابخانه: كتابخانه مؤسسه آموزشی و پژوهشی امام خمينی (ره) (قم)
موضوع : نقد و تفسیر کانت، اما‌نوئل، ۱۷۲۴ - ۱۸۰۴ م.,قرن ۱۸ م. فلسفه آلما‌نی
رده :
B
۲۷۹۸
/
الف
۴
ب
۲ ۱۳۸۱
9. بررسی روش هندسی در فلسفه اسپینوزا
پدیدآورنده : /سمیه ولی‌زاده
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
10. تفاوت منطق ارسطویی و دیالکتیک در چیست؟
پدیدآورنده :
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : منطق ارسطو;کلیات;دیالکتیک;منطق دیالکتیک;منطق;,اجتماع نقیضین;منطق صوری;منطق ریاضی;منطق پراگماتیسم;فلسفه هگل;منطق قدیم;منطق جدید;
11. درون فهمی‌تحلیل منطقی ، معنا‌شنا‌سی برخی از مفا‌هیم اسا‌سی علوم اجتما‌عی
پدیدآورنده : راد، منوچهر
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : منطق صوری و ریاضی
رده :
BC
۱۳۵
/
ر
۲
د
۴
12. دوره مختصر منطق صوري
پدیدآورنده : خوانساري ، محمد، 1300- 1388
کتابخانه: كتابخانه بنياد پژوهش های اسلامی آستان قدس رضوى (ع) (خراسان رضوی)
موضوع : منطق=منطق رياضي
رده :
BC
135
/
خ
9
801
م
13. راه‌اری برای توصیف نیازمندی‌های سیستم با قابلیت امنیت تطبیقی,Specifying a New Requirement Model for Secure Adaptive Systems
پدیدآورنده : /رباب علیاری
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
14. روش تحقیق
پدیدآورنده : خواجه‌نوری، عبا‌س قلی ۱۲۹۴-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
آ
۱
خ
۹
15. روش تحقیق
پدیدآورنده : تا‌لیف عبا‌سقلی خواجه‌نوری
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : تحقیق,منطق صوری در ریاضی
رده :
۵۰۷
/
۲
ر
۷۸۵
خ
16. روش تحقیق
پدیدآورنده : خواجه نوری، عبا‌سقلی ۱۲۹۴-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹ ۱۳۴۸
17. روش تحقیق
پدیدآورنده : تا‌لیف عبا‌سقلی خواجه‌نوری
کتابخانه: كتابخانه دانشگاه آزاد اسلامی واحد قم (قم)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹
خ
۹ ۱۳۷۲
18. روش تحقیق
پدیدآورنده : ۱۲۹۴- خواجه نوری، عبا‌سقلی
موضوع : تحقیق,منطق صوری و ریاضی
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
19. روش تحقیق
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹
20. صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
پدیدآورنده : حجتی سیدمحمدعلی, عامری وحیده
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : صوری سازی;منطق گزاره ها;فرگه;ثوابت منطقی;اعتبار;
